Iverson's notation